Loop theorem

Results: 22



#Item
11List comprehension / SQL / Foreach loop / Type theory / Localization theorem / Sedenion / Computing / Software engineering / Notation

Converting MiniZinc to FlatZinc Nicholas Nethercote Version

Add to Reading List

Source URL: www.minizinc.org

Language: English - Date: 2008-06-19 04:02:31
12Logic in computer science / OCaml / Automated theorem proving / HOL / Caml / Proof assistant / ML / Read–eval–print loop / Isabelle / Software / Computing / Functional languages

HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2011-01-12 14:03:23
13Scheme theory / Affine Grassmannian / Spectrum of a ring / Proj construction / Scheme / Beauville–Laszlo theorem / Grassmannian / Vector bundle / Ample line bundle / Abstract algebra / Geometry / Algebraic geometry

SEMINAR NOTES: AFFINE GRASSMANNIAN AND THE LOOP GROUP (OCT. 13, 2009) DENNIS GAITSGORY Notes written by D. Gaitsgory and N. Rozenblyum 1. The Beauville-Laszlo theorem

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2009-10-17 17:46:41
14Surfaces / Haken manifold / Incompressible surface / Orientability / Manifold / Genus / 2-sided / Real projective plane / Differentiable manifold / Topology / Geometric topology / 3-manifolds

LOCALISING DEHN’S LEMMA AND THE LOOP THEOREM IN 3-MANIFOLDS I. R AITCHISON AND J. HYAM RUBINSTEIN Abstract. In this paper, we give a new proof of Dehn’s lemma and the loop theorem. This is a fundamental tool in the t

Add to Reading List

Source URL: www.ms.unimelb.edu.au

Language: English - Date: 2004-02-23 06:04:21
15Maps of manifolds / Differential topology / Homotopy theory / Covering space / Loop theorem / Immersion / Sphere theorem / Homotopy / Poincaré duality / Topology / Geometric topology / 3-manifolds

PDF Document

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2009-04-27 09:53:12
16Manifolds / Geometric topology / Smooth functions / Submanifold / Embedding / Immersion / Loop theorem / Topological manifold / Covering space / Topology / Differential topology / Maps of manifolds

PDF Document

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2009-04-17 08:35:17
17Graph / Spanning tree / Neighbourhood / Planar graph / Matroid theory / Planar separator theorem / Laplacian matrix / Graph theory / Loop-erased random walk / Tree

Spanning trees of graphs on surfaces and the intensity of loop-erased random walk on planar graphs

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-06-23 20:39:18
18Spanning tree / Minimum spanning tree / Tree / Graph / Loop-erased random walk / Widest path problem / Graph theory / Theoretical computer science / Mathematics

Frieze's Theorem on Expected Minimum Tree Length

Add to Reading List

Source URL: www.theoremoftheday.org

Language: English - Date: 2013-08-01 17:26:43
19J. Hyam Rubinstein / Heegaard splitting / Loop theorem / Handle decomposition / Rubinstein / Normal surface / Topology / 3-manifolds / Geometric topology

Publications of J.H. Rubinstein 1. Rubinstein, J.H., Minimal prime ideals and compactifications, J. Austral. Math. Soc[removed]–432.

Add to Reading List

Source URL: www.ms.unimelb.edu.au

Language: English - Date: 2008-01-18 00:17:50
20Group theory / Quaternions / Non-associative algebra / Moufang loop / Octonion / Associative algebra / Frobenius theorem / Presentation of a group / Associator / Abstract algebra / Nonassociative algebra / Algebras

Divulgaciones Matem´ aticas Vol. 10 No[removed]), pp. 161–169

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2003-07-01 15:32:43
UPDATE